package com.googlecode.kipler.container.dl.creational;

import com.googlecode.kipler.container.dl.BasicWcsData;
import com.googlecode.kipler.container.dl.WorldConstraintSystem;

/**
 * 
 * @author İnanç Seylan
 *
 */
public class SHIQBasicWcsFactory extends WcsFactory {

	public SHIQBasicWcsFactory(boolean unfoldableTBox) {
		super(unfoldableTBox);
	}

	@Override
	public WorldConstraintSystem createWcs() {
		WorldConstraintSystem result = new WorldConstraintSystem(WorldFactory
				.getFactory(ContainerType.SHIQ_BASIC, isUnfoldableTBox()));
		result.setData(new BasicWcsData());
		result.setReasoner(getReasoner());
		return result;
	}

}
